eliminative reasoning

消除推理